(display "\n========================================\n")
(define zero
    (lambda (f)
        (lambda (x) x)))

(define (add-1 n)
    (lambda (f)
        (lambda (x) (f ((n f) x)))))

(define (inc x) (+ x 1))

(display ((zero inc) 0))

(display (+ (lambda (f) (lambda (x) (f (f (f x)))))
            (lambda (f) (lambda (x) (f (f x))))))

; 完全不明白。。。。。。

(display "\n========================================\n")
